GMP_VERSION = 6.1.2
